#!/bin/sh
PATH=/bin:/usr/bin exec ${MAKECMD-make} -f ./Make.defs -f Makefile ${1+"$@"}
